update{-}spec1($k$;$x$;$n$;$s$,$v$.$f$($s$;$v$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$k$$,\,$$x$$\rangle$ : $\langle$$n$$,\,$$\lambda$$s$,$v$. $f$($s$;$v$)$\rangle$.nil